@$i$: only $L$ sends on ($l$ with ${\it tg}$)($j$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if eqof(IdDeq)($j$,$i$) then only $L$ sends on ($l$ with ${\it tg}$) else  fi